Philip Wadler - PDFSEARCH.IO - Document Search Engine

Philip Wadler
Results: 73

#	Item
51	Advances in Programming Languages APL16: Bidirectional Programming II David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-23 09:27:14 Software Philip Wadler Bidirectional transformation Boomerang Aspinall Software engineering Computing Functional programming
52	Proofs are Programs: 19th Century Logic and 21st Century Computing Philip Wadler Avaya Labs June 2000, updated November 2000 As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were d Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-02-27 11:22:42 Lambda calculus Proof theory Logic in computer science Type theory Dependently typed programming Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Mathematics Theoretical computer science
53	Wearing the hair shirt A retrospective on Haskell Simon Peyton Jones Microsoft Research, Cambridge Haskell is 15 years old Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-02-12 08:18:59 Functional programming Functional languages Haskell Literate programming Monad Id Simon Peyton Jones Philip Wadler Software engineering Declarative programming Computing
54	Microsoft Word - call SSTiC 2014.rtf Add to Reading List Source URL: grammars.grlmc.com Language: English - Date: 2014-06-24 04:22:01 Computing Cloud computing Mark Guzdial Philip Wadler Computer science Spain Rovira i Virgili University Tarragona Geography of Spain
55	Propositions as Types ∗ Philip Wadler University of Edinburgh [removed] 1. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-08-20 07:43:28 Logic in computer science Lambda calculus Proof theory Dependently typed programming Type theory Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Logic Mathematics
56	The marriage of effects and monads PHILIP WADLER Avaya Labs and PETER THIEMANN Universit¨at Freiburg, Germany Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:14 Symbol Software engineering Computing Programming language semantics Electronic design Denotational semantics Adjoint functors Functional programming Monad
57	A Practical Subtyping System For Erlang Simon Marlow Philip Wadler [removed] [removed] University of Glasgow Bell Labs, Lucent Technologies Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:15 Programming language theory Constraint programming Data types Polymorphism Logic programming Type system Subtype polymorphism Type inference Unification Type theory Software engineering Mathematics
58	The Great Type Hope Philip Wadler, Avaya Labs [removed] Part I Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:15
59	The First Monad Tutorial Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2013-12-12 01:43:35